Combined Maximality Principles up to large cardinals
نویسنده
چکیده
The motivation for this paper is the following: In [Fuc08] I showed that it is inconsistent with ZFC that the maximality principle for closed forcings holds at unboundedly many regular cardinals κ (even only allowing κ itself as a parameter in the maximality principle for <κ-closed forcings each time). So the question is whether it is consistent to have this principle at unboundedly many regular cardinals or at every regular cardinal below some large cardinal κ (instead of∞), and if so, how strong it is. It turns out that it is consistent in many cases, but the consistency strength is quite high. As a by-product, assuming the consistency of a supercompact cardinal, I show that it is consistent that the least weakly compact cardinal is indestructible.
منابع مشابه
On certain maximality principles
We present streamlined proofs of certain maximality principles studied by Hamkins and Woodin. Moreover, we formulate an intermediate maximality principle, which is shown here to be equiconsistent with the existence of a weakly compact cardinal $kappa$ such that $V_{kappa}prec V$.
متن کاملClosed maximality principles: implications, separations and combinations
I investigate versions of the Maximality Principles for the classes of forcings which are <κ-closed, <κ-directed-closed, or of the form Col(κ,< λ). These principles come in many variants, depending on the parameters which are allowed. I shall write MPΓ(A) for the maximality principle for forcings in Γ, with parameters from A. The main results of this paper are: • The principles have many conseq...
متن کاملOn Foreman's Maximality Principle
In this paper we consider Foreman’s maximality principle, which says that any non-trivial forcing notion either adds a new real or collapses some cardinals. We prove the consistency of some of its consequences. We observe that it is consistent that every c.c.c. forcing adds a real and that for every uncountable regular cardinal κ, every κ-closed forcing of size 2<κ collapses some cardinal.
متن کاملVery Large Cardinals and Combinatorics
Large cardinals are currently one of the main areas of investigation in Set Theory. They are possible new axioms for mathematics, and they have been proven essential in the analysis of the relative consistency of mathematical propositions. It is particularly convenient the fact that these hypotheses are neatly well-ordered by consistency strength, therefore giving a meaningful tool of compariso...
متن کاملA class of strong diamond principles
In the context of large cardinals, the classical diamond principle 3κ is easily strengthened in natural ways. When κ is a measurable cardinal, for example, one might ask that a 3κ sequence anticipate every subset of κ not merely on a stationary set, but on a set of normal measure one. This is equivalent to the existence of a function ` ... κ → Vκ such that for any A ∈ H(κ) there is an embedding...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 74 شماره
صفحات -
تاریخ انتشار 2009